USSR Space Life Sciences Digest, volume 1, no. 4

An overview of the developments and direction of the USSR Space Life Sciences Program is given. Highlights of launches, program development, and mission planning are given. Results of ground-based research and space flight studies are summarized. Topics covered include: space medicine and physiology; space biology, and life sciences and technology

How do benefit adjustments for government transfer programs compare with their participants' inflation experiences?

The authors measure the inflation experienced by demographic groups that likely received benefits from major government transfer programs during the period 1980–2010. They then compare the group-specific inflation measures with the transfer programs’ benefit adjustments, which are typically based on aggregate inflation. The extent to which the program benefits keep up with group inflation differs across the programs and their targeted groups, depending on both the ways in which the benefits are adjusted for price changes and the spending patterns of the various groups.Inflation (Finance) - United States ; Public welfare

Risk taking and the quality of informal insurance: gambling and remittances in Thailand

More than 35% of Thai households either give or receive remittances, and remittances account for about one-third of the income of the receiving households. Remittance relationships may be an important source of protection against adverse events for the individuals involved. This paper provides evidence that remittances behave in a way that is consistent with insurance: they are sensitive to shocks to regional rainfall and they respond to household level events. The paper goes on to consider how the quality of insurance that is offered through remittances affects household risk taking behavior. Specifically, we show that the likelihood and the amount of gambling increase with the quality of informal insurance. The findings suggest that households who are more insured shift their portfolios toward riskier investments.Gambling industry ; Payment systems ; Insurance

Comparing patterns of default among prime and subprime mortgages

This article compares default patterns among prime and subprime mortgages, analyzes the factors correlated with default, and examines how forecasts of defaults are affected by alternative assumptions about trends in home prices. The authors find that extremely pessimistic forecasts of home price appreciation could have generated predictions of subprime defaults that were closer to the actual default experience for loans originated in 2006 and 2007. However, for prime loans one would have also had to anticipate that defaults would become much more sensitive to home prices.

Distinguishing limited commitment from moral hazard in models of growth with inequality

We use non-parametric, reduced form and structural techniques to distin-guish the micro-economic foundations of two models of growth with increasing inequality using new data from rural and semi-urban households in Thailand. We estimate a limited commitment model that is similar to Evans and Jovanovic (1989) and a moral hazard model that is an extension of Aghion and Bolton (1996). Both models emphasize the role of occupational choice and financial constraints. While the models share many implications, they are distinguished by their assumptions about the nature of financial market imperfections. We provide structural and reduced form evidence that the dominant source of credit market imperfections varies with wealth. For poorer households limited commit-ment is the dominant concern. However, as wealth increases moral hazard gains importance. These findings provide a rationale for important characteristics of the financial environment in Thailand.Financial markets ; Wealth

The UNLV Jazz Ensemble II and III

Program listing performers and works performe

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Strategies for success in financial education

The Federal Reserve Bank of Chicago will host a conference, Financial Literacy, Financial Education, and the Federal Reserve: Strategies for Success, on September 11, 2009. This article reviews some of the financial education activities throughout the Federal Reserve System.Financial literacy

Enhancing financial stability: the case of financial market utilities

The sweeping overhaul of the nation’s financial regulatory system that was signed into law on July 21, 2010, will touch virtually every aspect of financial markets. This Chicago Fed Letter focuses on provisions in the Dodd–Frank Wall Street Reform and Consumer Protection Act that affect “financial market utilities,” critical behind-the-scenes institutions and arrangements that ensure the smooth functioning of financial markets.Financial crises ; Financial markets

Effects of deflected thrust on the longitudinal aerodynamic characteristics of a close-coupled wing-canard configuration

The effects of power on the longitudinal aerodynamic characteristics of a close-coupled wing-canard fighter configuration with partial-span rectangular nozzles at the trailing edge of the wing were investigated. Data were obtained on a basic wing-strake configuration for nozzle and flap deflections from 0 deg to 30 deg and for nominal thrust coefficients from 0 to 0.30. The model was tested over an angle-of-attack range from -2 deg to 40 deg at Mach numbers of 0.15 and 0.18. Results show substantial improvements in lift-curve slope, in maximum lift, and in drag-due-to-lift efficiency when the canard and strakes have been added to the basic wing-fuselage (wing-alone) configuration. Addition of power increased both lift-curve slope and maximum lift, improved longitudinal stability, and reduced drag due to lift on both the wing-canard and wing-canard-strake configurations. These beneficial effects are primarily derived from boundary-layer control due to moderate thrust coefficients which delay flow separation on the nozzle and inboard portion of the wing flaps